
#include "compsoc.h"

#define TARGET_DEADLINE (25000000)

#define MAX_ET (17951587)

int deadlines[] = 
{
	15500000, // 0
	16200000, // 1
	17100000, // 2
	18200000, // 3
	19400000, // 4
	20800000, // 5
	22600000, // 6
	24700000, // 7
	27300000, // 8 
	30500000, // 9
	35000000  // 10
};

int setOptimalFreq() {

	int i;

	for (i = 1; i < 11; i++) {
		
		if (deadlines[i] > TARGET_DEADLINE) {
			break;
		}
	}

	hw_vfcm_set_freq(i - 1);

	return (i-1);
}

